<!DOCTYPE html>
<html>
<head>
  <script>
    location.href = "./docs/index.html";
  </script>
  <title></title>
  <meta charset="utf-8">
</head>
<body>
</body>
</html>